This paper and its sequel “look under the hood” of the usual sorts of proof-theoretic systems for certain well-known intuitionistic and classical propositional modal logics. Section 1 is preliminary. Of most importance: a marked formula will be the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. Think of 1 as indicating the taking of “one step away from 0.” Deductions will be constructed using marked formulas. Section 2 presents (...) the model-theoretic concepts, based on those in [7], that guide the rest of this paper. Section 3 presents Natural Deduction systems IK and CK, formalizations of intuitionistic and classical one-step versions of K. In these systems, occurrences of step-markers allow deductions to display deductive structure that is covered over in familiar “no step” proof-theoretic systems for such logics. Box and Diamond are governed by Introduction and Elimination rules; the familiar K rule and Necessitation are derived (i.e. admissible) rules. CK will be the result of adding the 0-version of the Rule of Excluded Middle to the rules which generate IK. Note: IK is the result of merely dropping that rule from those generating CK, without addition of further rules or axioms (as was needed in [7]). These proof-theoretic systems yield intuitionistic and classical consequence relations by the obvious definition. Section 4 provides some examples of what can be deduced in IK. Section 5 defines some proof-theoretic concepts that are used in Section 6 to prove the soundness of the consequence relation for IK (relative to the class of models defined in Section 2.) Section 7 proves its completeness (relative to that class). Section 8 extends these results to the consequence relation for CK. (Looking ahead: Part 2 will investigate one-step proof-theoretic systems formalizing intuitionistic and classical one-step versions of some familiar logics stronger than K.). (shrink)

Catholic sexual ethics proposes a number of exceptionless moral norms. This distinguishes it from theories which deny the possibility of any exceptionless moral norms (e.g. the proportionalist approach proposed in the aftermath of "Humanae Vitae" and condemned in "Veritatis Splendor"). I argue that Catholic teaching on sexual ethics refers to chosen physical structures in such a way as to make ‘new natural law’ theory inherently unstable. I outline a theory of “the moral act” (Veritatis Splendor 78) which emphasises the place (...) which chosen physical features – in particular, chosen sexual structures – play in specifying human actions. I conclude that this account, involving what I term UMDAs, is needed to make sense of the Church’s teaching in these areas. (shrink)

Conditional willing of morally impermissible actions like adultery tells us something about the moral agent, as does the liability to will such actions in certain unrealised contingencies. However, I argue, a liability to will wrongful actions in some circumstances need not (though it might) affect the moral permissibility of the act intended here and now e.g. terms of going through a marriage ceremony or enjoying sexual acts with one's spouse. This chapter explores the issue of conditional, preparatory or contingent intentions (...) of spouses with critical reference to work of John Finnis in this area. (shrink)

This Article explores the interpretation and construction of executive orders using as examples President Trump’s two executive orders captioned “Protecting the Nation From Foreign Terrorist Entry Into the United States” (the “Two Executive Orders”). President Trump issued the Two Executive Orders in the context of (among other things) Candidate Trump’s statements such as: “Islam hates us,” and “[W]e can’t allow people coming into this country who have this hatred.” President Trump subsequently provided further context including his tweet about the second (...) of his Two Executive Orders: “People, the lawyers and the courts can call [the second of the Two Executive Orders] whatever they want, but I am calling it what we need and what it is, a TRAVEL BAN!” Although President Trump replaced the first of the Two Executive Orders with the second one and although the Supreme Court by orders dated October 10, 2017 and October 24, 2017, vacated and remanded litigation involving the second order on grounds of mootness, the Two Executive Orders remain highly instructive for those who would understand the interpretation and construction of executive orders. This article therefore examines in detail the original speaker's (i.e., President Trump's) intended meaning and effect of the Two Executive Orders. It performs such examination using insights from the semiotic subfield of pragmatics, a semiotic subfield which explores how real-world people actually use, interpret, and construe language in various real-world contexts (including contexts where the issuer of the Two Executive Orders himself has claimed that “Islam hates us” and has tweeted “TRAVEL BAN!”). Using such insights of pragmatics, this Article also explores why reasonable judges thoroughly versed in legal theory, legal practice, and pragmatics should conclude that President Trump unlawfully targeted Muslims in the Two Executive Orders. This Article, among other things, also questions the sensibility of such notions as “facial legitimacy” to the extent such notions suggest text has meaning apart from context. Keywords: executive orders, speaker meaning, interpretation, construction, semiotics, pragmatics, originalism, speech acts, context, facial legitimacy, Constitutionality, First Amendment,Trump v. Int’l Refugee Assistance Project, Scalia, immigration, semantics, original meaning, travel ban, Trump, textualism. (shrink)

Note: This draft was updated on November 10, 2020. Discussing federal statutes, Justice Scalia tells us that “[t]he stark reality is that the only thing that one can say for sure was agreed to by both houses and the president (on signing the bill) is the text of the statute. The rest is legal fiction." How should we take this claim? If we take "text" to mean the printed text, that text without more is just a series of marks. If (...) instead we take "text" (as we must) to refer to something off the page such as the "meaning" of the series of marks at issue, what is that meaning and how do we know that all the legislators "agreed" on that "meaning"? In seeking answers here, we necessarily delve into semiotics (i.e., the “general theory of signs”) by noting that meaningful ink marks ("signifiers) signify a meaning beyond themselves (the "signified.") Thus, understanding how signs function is integral to lawyers' textual and linguistic analysis. Additionally, as this article demonstrates, legal analysis and rhetoric are much impoverished if lawyers ignore nonverbal signs such as icons, indices, and nonverbal symbols. In providing a broad overview of semiotics for lawyers, this article thus (1) begins with a general definition of signs and the related notion of intentionality. It then turns to, among other things, (2) the structure and concomitants of signs in more detail (including the signifier and the signified), (3) the possible correlations of the signifier and the signified that generate signs of interest to lawyers such as the index, the icon, and the symbol; (5) the expansion of legal rhetoric through use of the index, the icon, and the non-verbal as well as the verbal symbol, (6) the nature of various semiotic acts in public and private law (including assertives, commissives, directives, and verdictives); (7) the interpretation and construction of semiotic acts (including contracts as commissives and legislation as directives); (8) the role of speaker or reader meaning in the interpretation and construction of semiotic acts; (9) the semiotics of meaning, time, and the fixation of meaning debate; (10) the impact of signifier drift; (11) the distinction between sense and understanding; and (12) some brief reflections on semiotics and the First Amendment. This article also provides an Appendix of further terms and concepts useful to lawyers in their explorations of semiotics. (shrink)

Two slogans define structuralism: contemporary mathematics studies structures; mathematical objects are places in those structures. Shapiro’s version of structuralism posits abstract objects of three sorts. A system is “a collection of objects with certain relations” between these objects. “An extended family is a system of people with blood and marital relationships.” A baseball defense, e.g., the Yankee’s defense in the first game of the 1999 World Series, is a also a system, “a collection of people with on-field spatial and ‘defensive-role’ (...) relations”. “A structure is the abstract form of a system” ; it consists of “a collection of places [sometimes called positions or offices] and a finite collection of functions and relations on these places”. (shrink)

DIFERENCIAÇÃO SEXUAL -/- Emanuel Isaque Cordeiro da Silva Instituto Agronômico de Pernambuco Embrapa Semiárido -/- • _____OBJETIVO -/- Os estudantes de Veterinária e de Zootecnia estão ligados à disciplina Reprodução Animal, um pelos mecanismos fisiológicos para evitar e tratar as possíveis patologias do trato reprodutivo dos animais domésticos, e outro para o entendimento dos processos fisiológicos visando o manejo reprodutivo e a procriação para a formação de um plantel geneticamente melhorado. Sendo assim, a finalidade do presente trabalho é apresentar os (...) mecanismos que regulam as diferenças sobre o desenvolvimento embrionário relativos à diferenciação e determinação sexual de machos e fêmeas, que também incluem o desenvolvimento dos órgãos envolvidos na reprodução e a origem das diferenças entre ambos os sexos. -/- •____INTRODUÇÃO -/- Os organismos que se reproduzem sexualmente são descendentes de organismos ao qual não existia a diferenciação sexual. Em algum momento da evolução surgiu a reprodução sexual como um mecanismo para incrementar a diversidade genética e facilitar a troca de informações genéticas mediante o material genético da fêmea com o do macho. Devido sua origem comum, na maioria das espécies, tanto os machos como as fêmeas possuem todos os genes necessários para desenvolverem-se em qualquer dos sexos. O que efetivamente faz diferença entre os sexos é a forma e a ordem ao qual se expressam os genes durante o processo de desenvolvimento. A diferenciação sexual é regulada principalmente por mecanismos epigenéticos, mais do que as diferenças genéticas de grande magnitude entre os sexos. Todo o controle epigenético de qualquer processo de desenvolvimento depende basicamente de uma série de expressões gênicas, através da qual a expressão de certa combinação de genes resulta na presença de determinadas proteínas, conhecidas como os fatores de transcrição, que induzem ou reprimem a expressão de outro(os) gene(es), a partir dos quais se produzem novas proteínas, que em certos casos também atuam como fatores de transcrição para outros genes, e assim sucessivamente. Logo, a expressão ou falta de expressão de um gene ao início da série pode resultar em um ladrão totalmente diferente da expressão de outros genes subsequentes, o que pode ocasionar profundas mudanças no processo de desenvolvimento e até a mutações indesejáveis. O padrão predeterminado de expressões gênica relativo a diferenciação sexual na maioria das espécies tanto domésticas quanto selvagens, leva ao desenvolvimento de um dos sexos (o padrão predeterminado dos mamíferos é o sexo feminino). Em consequência, a diferenciação faz com que um indivíduo do sexo oposto exija a expressão de um gene de determinação sexual que desvie a subsequente série de expressões gênica em direção ao dito sexo. Nos mamíferos, a expressão do gene SRY, localizado no cromossomo Y (e portanto ausente nas fêmeas), redige o padrão de diferenciação sexual de sua via pré-estabelecida feminina em direção ao padrão masculino. A existência de uma única diferença genética (presença do gene SRY nos machos e ausentes nas fêmeas), vai se amplificando e termina resultando no desenvolvimento de indivíduos diferentes entre si. Esse é um mecanismo de diferenciação sexual cromossômica. O primeiro passo de uma série de diferenciação sexual, em sentido estrito, não depende nem requer necessariamente a presença de um gene diferente em algum dos sexos. O gene “disparador” da diferenciação sexual pode estar presente em todos os embriões, porém pode expressar-se somente em algum deles, devido a fatores ambientais que formam parte da sua regulação epigenética, isto é, uma determinação sexual ambiental. Em algumas espécies de tartarugas ou de lagartos a expressão ou falta de expressão do gene “disparador”, por exemplo, depende da temperatura existente durante a incubação dos ovos, pelo qual alguns embriões desenvolvem-se como machos e outros como fêmeas, apesar de não existir diferença genética entre eles, simplesmente como consequência da temperatura: a determinação sexual depende da temperatura a que cada um deles foi submetido durante a incubação. Em certas espécies as temperaturas mais elevadas facilitam o desenvolvimento de fêmeas e outras de machos, enquanto que em outras espécies as temperaturas amenas (intermediárias) resultam em machos, e as inferiores como as superiores induzem o desenvolvimento de fêmeas. A existência dessa diversidade indica que a temperatura por si mesma não é a que induz ou a que provoca o desenvolvimento do macho e da fêmea, senão a que atua somente como um regulador inicial da diferenciação sexual. Em outras espécies o fator ambiental que regula a determinação sexual pode ser distinto. A densidade populacional, por exemplo, pode atuar como um regulador. Podemos concluir que a determinação sexual dependente da temperatura ou de outros fatores ambientais estabelece-se antes da determinação sexual cromossômica, a qual evoluiu depois como um método que oferece maior certeza e resultado, já que a proporção de machos e fêmeas não é afetada por mudanças ambientais ou de hábitat. -/- •___FORMAÇÃO INICIAL DA GÔNADA -/- Basicamente em todos os embriões, inicialmente se formam as chamadas gônadas indiferenciadas (com o potencial de desenvolver-se em ovários ou testículos) a partir da invasão das cristas genitais pelas células germinais primordiais, que migram desde seu local de origem no epiblasto, perto do lugar onde o saco vitelino se une com o intestino primitivo e que chegam até às cristas genitais que são engrossamentos de tecido situados na região mesonéfrica do embrião. A migração das células germinais primordiais ocorre muito cedo sobre o processo de desenvolvimento do embrião (dia 26 nos bovinos). Ao chegas as cristas genitais, as células germinativas proliferam-se e se organizam com as células somáticas já existentes nas cristas para ir formando a gônada (figura 1). Para regular essa remodelação e conformação adequada da gônada vários genes se expressam, como o OCT-4 (que aparentemente mantém a totipotencialidade da gônada), assim como o SF-1 (Fator esteroidogênico 1) e o WT-1 (gene associado ao tumor de Wilms). Esses dois últimos genes estimulam a proliferação celular e estabelecimento dos cordões sexuais. Nessa etapa inicial do desenvolvimento todos esses genes se expressam sem distinção de sexo, pelo que a gônada em formação mantém a capacidade de se diferenciar em testículo ou em ovário. -/- Figura 1: migração das células germinais primordiais em direção a crista gonodal. Diferenciação das gônadas femininas e masculinas. Fonte: ZARCO, 2018. -/- •___SEXO CROMOSSÔMICO -/- Têm-se observado que nos mamíferos a determinação sexual depende diretamente dos cromossomos. As fêmeas possuem dois cromossomos sexuais X (um contribuído do óvulo e o outro por um espermatozoide “X”). Os machos, por sua vez, possuem um cromossomo sexual X(proveniente do óvulo) e um cromossomo sexual Y, que provém de um espermatozoide “Y” (figura 2). A metade dos espermatozoides produzidos por um macho são X e a metade Y, isso porque durante a espermatogênese a divisão meiótica provoca que a partir de cada espermatócito primário, célula diploide que por pertencer a um indivíduo macho tem um cromossomo X e um Y, se originem das espermátides haploides a cada um das que eles tocam cromossomos X, e outras espermátides haploides as que eles tocam os cromossomos Y. Dessa forma, de acordo com o tipo do espermatozoide que fertilize o ovócito, se originará um indivíduo com cariótipo feminino “XX” ou um cariótipo masculino “XY” (figura 2). Esse processo é conhecido como sexo cromossômico, ao qual se determina o momento da fertilização. Figura 2: nos mamíferos todos os óvulos produzidos pelas fêmeas possuem um cromossomo sexual X. A metade dos espermatozoides produzidos pelos machos possuem um cromossomo X e a outra metade possui um cromossomo Y. Dependendo do cromossomo presente no espermatozoide que fertilize o óvulo pode-se gerar um indivíduo XX (fêmea) ou um XY (macho). Fonte: ZARCO, 2018. -/- O cromossomo “Y” é uma “invenção” relativamente recente na história da evolução das espécies e do estudo da genética. Surgiu a partir de uma mutação de um cromossomo “X”, que resultou na perda de um de seus braços, que é por onde se originou a morfologia do cromossomo Y. A maioria dos genes presentes no cromossomo Y também existem no cromossomo X; assim mesmo somente alguns genes do cromossomo Y foram evoluídos até ser diferentes dos genes do cromossomo X. Embora os machos possuam um cromossomo que não está presente nas fêmeas, esse mesmo cromossomo não aporta toda a informação genética original. Todos os genes existentes nas fêmeas estão também presentes nos dos machos, já que eles também possuem um cromossomo X. Uma particularidade do cromossomo Y, ao existir somente uma cópia nos machos, é que ele sofre um entrecruzamento com um cromossomo análogo durante o processo de meiose, pelo que o cromossomo Y de um macho é idêntico ao de seu progenitor e ao de seus descendentes, exceto no caso em que ocorra uma mutação espontânea. Em contraste, os cromossomos X das fêmeas (um proveniente do pai e outro da mãe) se entrecruzam durante a meiose, por onde cada óvulo produzido pela fêmea terá uma combinação de alelos distinta em seu cromossomo X. Ao estudar as diferenças presentes na sequência de DNA do cromossomo Y, é possível identificar a distância filogenética entre os indivíduos (quanto mais diferenças existirem entre os cromossomos significa que seu ancestral comum está mais longe). Algo análogo ocorre com o DNA das mitocôndrias, que sempre são aportados pela mãe e nunca sofrem recombinação genética. Gene SRY -/- Um dos poucos genes do cromossomo Y que não possuem correspondência com o cromossomo X é o gene SRY (Sex-determining Region of the Y chromossome – região do cromossomo Y determinante do sexo). Esse gene se expressa somente na gônada em formação nos embriões machos, em particular em células precursoras das células de Sertoli; ele codifica uma proteína da família SOX (SRY-like Box) que é uma família formada por proteínas que possuem um domínio de união ao DNA e que atuam como fatores de transcrição. Ao produzir-se a proteína SRY nas células precursoras das células de Sertoli estimula-se a expressão (transcrição) de outro gene análogo, denominado SOX-9 que, por sua vez, atua como um fator de transcrição que ativa a expressão de outros genes, como o FGF-9 (Fibroblast Growth Factor-9), ou seja ele é o estimulante de ativação dos demais. Os produtos dos genes SOX-9 e FGF-9 iniciam uma cascata de expressões que provocam a diferenciação das células de suporte da gônada indiferenciada (crista genital) em células de Sertoli. Em seguida, essas células dirigem a diferenciação das células intersticiais da crista genital em células de Leydig, o que finalmente resulta na formação de um testículo. Outro dos efeitos da proteína codificada por SOX-9 é um estímulo maior da expressão de seu próprio gene, pelo qual é produzido um ciclo de retroalimentação positiva que favorece a continuidade do processo de formação testicular. Como nos embriões da fêmea não existe o gene SRY, a gônada indiferenciada não é estimulada para expressar os genes SOX-9 nem o FGF-9 nas células de suporte (que nesse caso serão precursoras de células da granulosa). A gônada, em mudança, expressa em forma constitutiva, isto é, sem a necessidade de estimulação, outra cascata de genes que incluem o WNT4 (Wingless-integration Factor 4) e o RAPO1 (Respondina-1), que por sua vez iniciam uma cascata de expressão gênica, a qual provoca a diferenciação das células somáticas da gônada indiferenciada para formação das células da granulosa e células da teca, esse feito conduz, por sua vez, a formação de um ovário. No embrião macho a proteína SOX-9 inibe a expressão dos genes WNT4 e RSPO-1, pelo que a presença do gene SRY, e portanto de SOX-9, inibem a formação de um ovário ao mesmo tempo que estimulam a formação do testículo (figura 3). Em suma, se o embrião possui genótipo XY (um embrião macho), o gene SRY começa a expressar-se sobre as células precursoras da gônada imediatamente depois da formação da mesma, quando os cordões sexuais primários estão se desenvolvendo na medula. A expressão do gene, assim como a presença subsequente das proteínas SOX-9 e FGF-9 estimula a distinção das células de Sertoli e que se organizem os tubos seminíferos a partir dos cordões sexuais primários. Em contrapartida, em um embrião com genótipo XX (fêmea) não existe o gene SRY, pelo qual é impossível que se elevem os níveis das proteínas SOX-9 e FGF-9 e as células precursoras não se diferenciam em células de Sertoli, e portanto os cordões sexuais primários sofrem regressão. Depois de alguns dias, começam a organizar-se os cordões sexuais secundários e as células precursoras iniciam a expressão do gene WNT4, o que leva as mesmas a diferenciar-se em células da granulosa, que serão a base para a conformação dos folículos ovarianos. Se em um embrião XY, macho, a expressão do gene SRY demora, é formada um ovo-testículo devido a que algumas das células somáticas das cristas gonodais começam a expressar o gene WNT4, e a diferenciar-se em células da granulosa, enquanto que em outras a proteína SRY chega a tempo para dirigir a diferenciação para formação das células de Sertoli. No ovário em formação é expressado um gene denominado DAX-1 (Dosage-sensitive Sex Reversal). Esse gene, localizado no cromossomo X, codifica uma proteína que é um membro da família dos receptores nucleares ao que lhe falta o domínio de união ao DNA, pelo que parece atuar no bloqueio de diversos fatores de transcrição, entre os que se encontra o SRY. Como a proteína DAX-1 impede a ação da proteína SRY, um excesso de expressão do gene DAX-1 pode provocar a feminilização gonodal de indivíduos XY, macho, embora tenham SRY. Em condições normais, a expressão adequada do gene DAX-1 não é capaz de evitar a masculinização gonodal de embriões com o gene SRY, daqui o nome de reversão sexual dependente da dose. Figura 3: série de expressão gênica para a determinação gonodal. SRY (Região do cromossomo Y determinante do sexo), SOX-9 (SRY-like Box-9), FGF-9 (Fator de crescimento de fibroblastos-9), WNT4 (Wingless-integration Factor-4), RSPO-1 (Respondina-1). Uma vez que o SRY induz a expressão de SOX-9 na gônada masculina, inicia-se um processo de feedback positivo mediante o qual os níveis de expressão de SOX-9 e FGF-9 vão aumentando, ao mesmo tempo que inibem a expressão de WNT-4 e RSPO-1. Na gônada feminina não se expressam SRY, SOX-9 e nem FGF-9, o que permite que se expressem os genes WNT-4 e RSPO-1, que iniciam uma cascata de sinalização que dirige a formação de um ovário. Fonte: ZARCO, 2018. -/- • ___DIFERENCIAÇÃO SEXUAL DOS GENITAIS -/- Uma vez que se formam os testículos, todo o desenvolvimento subsequente dos órgãos e as características “masculinas” em lugar das femininas é em consequência dos hormônios produzidos pelos testículos em formação, incluindo os andrógenos e o hormônio inibidor dos ductos de Müller. Mediante a ausência de testículos todo o desenvolvimento dos órgãos genitais internos e externos segue um padrão feminino, sem levar em conta se estão presentes os ovários; o que significa a ausência de hormônios gonodais determina que o embrião se desenvolva como fêmea, uma vez que não requerem hormônios ovarianos para desencadear o padrão feminino. Por sua vez, as gônadas masculinas (os testículos), produzem substâncias que desviam o desenvolvimento em direção ao padrão masculino. Sob etapas relativamente rápidas da diferenciação todos os embriões possuem dois pares de dutos sexuais, os dutos de Wolff ou mesonéfricos e os dutos de Müller ou paramesonéfricos (figura 4). A testosterona secretada pelos testículos do feto macho em desenvolvimento atua sobre os dutos de Wolff, o que induz a formação posterior dos dutos deferentes, do epidídimo e das glândulas seminais (figura 4). Figura 4: formação dos órgãos genitais internos a partir dos dutos de Wolff no macho e dos dutos de Müller na fêmea. Fonte: ZARCO, 2018. -/- Os testículos produzem ao mesmo tempo, uma glicoproteína chamada Hormônio Inibidor dos Dutos de Müller (Müllerian Inhibiting Hormone, MIH, também chamado de Anti-Müllerian Hormone, AMH); como o seu nome indica, inibe o desenvolvimento dos dutos de Müller ou paramesonéfricos, provocando sua regressão, que impede a formação dos órgãos genitais característicos da fêmea como os ovidutos, o útero, a cérvix e a porção cranial da vagina (figura 4). O MIH é uma glicoproteína da família dos fatores de crescimento transformativo β (TGFβ). O gene MIH possui locais de união para os produtos dos genes SOX-9 e SF-1, pelo que a presença simultânea de ambos fatores de transcrição é necessária para a secreção do MIH e leva a cabo sua função de iniciação dos dutos de Müller sobre o embrião macho (vale lembrar que nessa etapa tanto a gônada de embriões machos como de embriões fêmeas expressam o gene SF-1, mas somente o macho expressa o SOX-9, para que unicamente esse último produza MIH). O certo é que na gônada do embrião fêmea não se produzem quantidades importantes da proteína SOX-9, além de que se produz a proteína DAX-1, mesma que antagoniza tanto a SOX-9 como a SF-1, todo o qual impede a produção de MIH e resulta no desenvolvimento dos dutos de Müller até a formação dos ovidutos, útero, cérvix e a porção cranial da vagina (figura 4). Assim, na fêmea, ao não haver testículos não circulam concentrações elevadas de andrógenos, o que impedirá o desenvolvimento dos dutos de Wolff, enquanto que os dutos de Müller se desenvolvem já que não haverá a presença do MIH para impedi-lo. O desenvolvimento dos genitais internos e externos femininos não requerem a presença de nenhum hormônio ovariano o que levará a cabo de maneira predeterminada (ou pré-estabelecida) na ausência de testículos. Outra estrutura interna que também se desenvolve de forma distinta nos machos e nas fêmeas é o seio urogenital, que no embrião macho é estimulado pela testosterona para formação da próstata, das glândulas bulbouretrais e da uretra peniana, enquanto que na fêmea forma a porção caudal da vagina. A respeito dos órgãos genitais externos (figura 5), nos embriões de ambos os sexos existem estruturas precursoras chamadas de tubérculo genital e pregas vestibulares. Na fêmea o tubérculo genital da origem ao clitóris e as pregas vestibulares dão origem aos lábios vulvares sem a necessidade da atuação de hormônios ovarianos, já que o padrão “por via pré-estabelecida” é feminino. Em contrapartida, no macho, tanto o tubérculo genital quanto as pregas vestibulares respondem ao hormônio 5α-dehidro-testosterona (DHT), ao qual se formam as células da pele da zona genital a partir da testosterona que é secretada pelos testículos. Para isso existem nas células a enzima 5α-reductasa, que transforma a testosterona em DHT. Uma vez formada, a DHT atua sobre as pregas vestibulares do embrião macho para que se fusionem e formem o escroto (em lugar dos lábios vulvares), e sobre o tubérculo genital para formar o pênis (em lugar do clitóris). Figura 5: estruturas que se desenvolvem nos embriões de cada sexo a partir do seio urogenital, o tubérculo genital e as pregas vestibulares. A cor do né de cada estrutura final corresponde com a cor do nome da estrutura a partir da qual se originou. Fonte: ZARCO, 2018. -/- • ___DIFERENCIAÇÃO SEXUAL DO SISTEMA NERVOSO -/- Existem inúmeras diferenças funcionais entre o sistema nervoso da fêmeas e o do machos, em humanos podem incluir diferenças tão complexas como a maior capacidade de verbal da mulher ou a maior capacidade de orientação espacial do homem. Nessa parte será abordada aquelas diferenças que influenciam diretamente sobre a função reprodutiva, como as diferenças na regulação da secreção de gonadotropinas ou as diferenças na capacidade de comportamento sexual masculino ou feminino. É necessário lembrar que, apesar de que essas diferenças se originem durante um período crítico da vida fetal ou neonatal (dependendo da espécie), geralmente se fazem presentes até que o animal chegue a vida adulta e demonstre obter ou não a capacidade para se comportar como macho ou como fêmea uma vez que é exposto aos hormônios sexuais que são secretada depois da puberdade. Igualmente aos processos acima citados, podemos afirmar que nos mamíferos o padrão pré-estabelecido de comportamento sexual e de secreção de gonadotropinas é o feminino. Se durante os primeiros dias de vida neonatal uma rata fêmea não é exposta a nenhum hormônio gonodal, ao chegar a vida adulta ela terá a capacidade de se comportar como fêmea na presença de estrógenos, assim como de secretar um pico pré-ovulatório de GnRH/LH em resposta aos mesmos (figura 6). Essa rata, portanto, não poderá se comportar como macho embora que em sua vida adulta seja exposta a testosterona. O sistema nervoso do rato macho recém-nascido que é exposto aos andrógenos produzidos pelos testículos, em detrimento, faz com que adquiram o potencial para se comportar como machos em sua vida adulta e que perdem o potencial para ter conduta de fêmeas na presença e/ou administração de estrógenos (processo conhecido como desfeminização do SNC). Se por meios de experimentos injetamos testosterona em uma rata fêmea recém-nascida, essa rata não poderá se comportar como fêmea em sua vida adulta, e passará a se comportar como macho. A castração neonatal de um rato (visando evitar a exposição de seu SNC a andrógenos testiculares), assim mesmo, resultará em sua vida adulta um padrão feminino (SNC feminizado e não masculinizado). O hipotálamo das ratas adultas possui uma área em que o número, características e densidade dos corpos neurais difere em machos e fêmeas, essa área é denominada como “núcleo sexualmente dimórfico do hipotálamo”, e tem demonstrado que quando as ratas são tratadas com testosterona na vida neonatal, a morfologia de seu núcleo sexualmente dimórfico será masculinizado em sua vida adulta, enquanto que a castração neonatal de ratos resulta em um núcleo sexualmente dimórfico feminizado em sua vida adulta. Isso significa que a exposição ou não a testosterona na vida neonatal é o que determina que tipo de núcleo sexualmente dimórfico se desenvolverá, o que por sua vez está relacionado com o tipo de conduta que o animal poderá expressar em sua vida adulta. Não deixa de ser um paradoxo que ao injetar uma dose elevada de estrógenos nos primeiros dias de vida de uma rata, os núcleos sexualmente dimórficos da mesma se desenvolverão como macho e em sua vida adulta seu potencial de conduta estará masculinizado e desfeminizado. O hormônio “feminino” conhecido como estradiol, masculiniza o hipotálamo e a conduta do animal. Logo, se a rata neonatal for exposta a injeção de andrógeno não-aromatizado (que não pode ser transformado em estrógenos pelas células) ela não se masculiniza. A masculinização e desfeminização dos ratos ou das ratas tratados com testosterona, na realidade, não são provocados pela própria testosterona, senão pelos estrógenos que se formam dentro dos neurônios quando absorvem a testosterona do sangue e a aromatizam para transformá-la em estrógenos (figura 6). Figura 6: desfeminização e masculinização do sistema nervoso central por meio da testosterona, que quando não absorvida pela α-fetoproteína pode entrar nos neurônios, onde se aromatizam para serem transformados em estrógenos, hormônio que é responsável pela desfeminização. Fonte: ZARCO, 2018. Por que as ratas, que possuem ovários funcionalmente produtores de estrógenos, não se masculinizam? A resposta está em uma proteína denominada α-fetoproteína que circula em altas concentrações nos fetos e nos recém-nascidos. Essa proteína possui a capacidade de unir-se aos estrógenos, ao qual impede seu entrada nas células. Os ratos, em desenvolvimento, produzem testosterona, no entanto não possui afinidade pela α-fetoproteína, o que permite com que ela circule livremente. Ao chegar ao SNC, a testosterona (que não foi absorvida) pode entrar nos neurônios e dentro deles se aromatizam e transformam-se em estrógenos, que finalmente masculinizam o SNC. A diferenciação sexual do hipotálamo depende, em síntese, da presença ou ausência dos testículos, o que permite que se produza ou não o hormônio testosterona que pode não ser absorvida por parte da α-fetoproteína, transformar-se em estrógenos e masculinizar o SNC. -/- •___CONCLUSÃO -/- Nos mamíferos todo o processo que se requerem para o desenvolvimento de um macho depende da existência de somente um gene do cromossomo Y, o gene SRY; a ausência desse gene resulta no desenvolvimento de uma fêmea. A presença ou ausência do gene SRY determina, então, a cadeia de eventos morfogênicos que ocorrerá em sua expressão ou não, para desenvolver todos os órgãos e características de um macho ou de uma fêmea. Por essa razão, os indivíduos com uma monossomia XOA (síndrome de Turner) são fêmeas (por não possuir o cromossomo Y nem o gene SRY), enquanto que os indivíduos triploides XXY (síndrome de Kleinefelter) são machos embora possuam dois cromossomos X. Em algumas espécies, no entanto, têm-se identificado machos que são cromossomicamente XX; nesses casos é determinado invariavelmente que por ser um erro durante a meiose a região do cromossomo Y em que reside o gene SRY tem sido transloucada ao cromossomo X. Da mesma forma, em alguns casos tem sido encontrado fêmeas com cariótipo XY; que nelas se identifica uma mutação inabilitante do gene SRY. Isso demonstra experimentalmente que por meio da engenharia genética é possível produzir machos com cariótipo XY mas com o gene SRY eliminado (knockout). Como é de se esperar, esses machos desenvolvem ovários e todos seus órgãos genitais, tanto internos quanto externos, e se desenvolvem como fêmeas. Os machos cromossomicamente XX transgênicos aos que se insertam uma cópia do gene SRY, desenvolvem testículos e um fenótipo masculino, embora sejam estéreis por causa da ausência de alguns genes do cromossomo Y que são necessários para a realização de uma espermatogênese normal. As falhas nos mecanismos de diferenciação sexual podem, diretamente, ocasionar anormalidades como as observadas nas bezerras Freemartin, que são bezerras originadas de uma gestação gemelar em que seu gêmeo era macho. O que sucede é que na espécie bovina, quando há uma gestação gemelar, é produzido um certo grau de anastomose entre as placentas dos fetos, o que permite a troca de sangue e de células entre ambos. Os produtos recebem, então, algumas células de seu gêmeos, que encontram seu lugar no órgão correspondente e se integram a ele. No caso particular das gônadas, quando o ovário primitivo de um embrião fêmea é colonizado por algumas células gonodais de seu gêmeo macho, essas células expressam o gene SRY, o que fará com que essa região da gônada se diferencie como testículo. Como resultado, se desenvolve um ovo-testículo (com maior ou menor proporção de tecido testicular dependendo do grau de colonização da gônada em formação por células provenientes do gêmeo macho). Ademais, ao haver certa quantidade de tecido testicular produtor de MIH, circularão sobre o feto fêmea níveis desse hormônio que, embora baixos, afetarão o desenvolvimento normal dos dutos de Müller, fazendo com que as bezerras Freemartin possuam genitálias internas ausentes ou pouco desenvolvidas. Os andrógenos produzidos pelas zonas de tecido testicular, por fim, são suficientes para causar um certo grau de masculinização, que se manifesta como um clitóris mais grande que o normal ou um desenvolvimento corporal masculinizado. -/- REFERÊNCIAS BIBLIOGRÁFICAS -/- ARNOLD, Arthur P.; CHEN, Xuqi; ITOH, Yuichiro. What a difference an X or Y makes: sex chromosomes, gene dose, and epigenetics in sexual differentiation. In: Sex and gender differences in pharmacology. Springer, Berlin, Heidelberg, 2013. p. 67-88. CUNNINGHAM, James. Tratado de fisiologia veterinária. Elsevier Health Sciences, 2011. DERIVAUX, Jules; BARNABÉ, Renato Campanarut. Reprodução dos animais domésticos. Zaragoza: Acribia, 1980. DA SILVA, Emanuel Isaque Cordeiro. Desenvolvimento Embrionário e Diferenciação Sexual nos Animais Domésticos. Disponível em:. Acesso em: Julho de 2020. HAFEZ, Elsayed Saad Eldin; HAFEZ, Bahaa. Reprodução animal. São Paulo: Manole, 2004. HIDALGO, C. Galina et al. Reproducción de animales domésticos. México: Limusa, 2008. MACLAUGHLIN, David T.; DONAHOE, Patricia K. Sex determination and differentiation. New England Journal of Medicine, v. 350, n. 4, p. 367-378, 2004. MCCARTHY, Margaret M.; ARNOLD, Arthur P. Reframing sexual differentiation of the brain. Nature neuroscience, v. 14, n. 6, p. 677, 2011. PLANT, Tony M.; ZELEZNIK, Anthony J. (Ed.). Knobil and Neill's physiology of reproduction. Academic Press, 2014. REY, Rodolfo. Diferenciación sexual embrio-fetal: De las moléculas a la anatomía. Revista chilena de anatomía, v. 19, n. 1, p. 75-82, 2001. SENGER, P. L. Embryogenesis of the pituitary gland and male or female reproductive system. In. Pathways to Pregnancy and Parturition. Current Conception Inc, v. 1, p. 8-76, 1997. ZARCO, L. Diferenciación sexual. In. PORTA, L. R.; MEDRANO, J. H. H. Fisiología reproductiva de los animales domésticos. Cidade do México: FMVZ-UNAM, 2018. -/- REALIZAÇÃO -/- . (shrink)

A ansiedade gerada pela possível criação de inteligência artificial geral, algo profetizado desde a fundação do campo de pesquisa (i.e., Dartmouth's Summer Research Project on Artificial Intelligence) (MCCARTHY et al., 1955), é algo comumente investigado dentro dos círculos transhumanistas e singularistas (KURZWEIL, 2005; CHALMERS, 2010; TEGMARK, 2016; 2017; CORRÊA; DE OLIVEIRA, 2021). Por exemplo, em seu livro “Superintelligence: Paths, Dangers, Strategies”, Nick Bostrom (2014) apresenta uma série de argumentos para justificar a ideia de que precisamos ser cautelosos em relação (...) a criação de inteligência artificial avançada ou inteligência artificial geral. Contudo, muito dos argumentos levantados, em suas versões originais (i.e., convergência instrumental e ortogonalidade (OMOHUNDRO, 2008), são baseados em noções “vagas” de conceitos complexos (i.e., “inteligência”, “racionalidade”, “agência”). O objetivo deste resumo (apresentação) será introduzir o leitor/ouvinte ao campo de Segurança da Inteligência Artificial. Nesse campo, questões como o “Problema de controle” (i.e., evitar construir inadvertidamente uma inteligência artificial geral que prejudicará seus criadores) e o “Problema de Alinhamento” (i.e., criar sistemas de inteligência artificial que permaneçam seguros mesmo quando atuando de forma autônoma no ambiente real), que são questões muitas vezes debatidas apenas dentro da Filosofia ou Ficção Científica, ganham um aspecto muito mais real e formal (AMODEI et al., 2016, HUBINGER et al., 2019). A criação de alguns dos modelos de inteligência artificial mais avançados já criados (e.g., AlphaGo, GPT-3) (SILVER el al., 2016; BROWN et al., 2020), está ligado a utilização de dois paradigmas da área de Aprendizagem de Máquina, i.e., Aprendizagem Profunda e Aprendizagem por Reforço. Dentro deste contexto, podemos definir “um sistema autônomo inteligente” como “um sistema que implementa uma política ótima (tecnicamente "ϵ-greedy optimal") para alguma função de recompensa” (ORSEAU et al., 2018). Podemos também definir tais sistemas como “maximizadores de utilidade esperada” (VON NEUMANN; MORGENSTERN, 1944). Um sistema de IA maximizando uma função de recompensa (i.e., objetivo) especificada erroneamente pode vir a causar danos reais quando interagindo no ambiente real, seja por erros de especificação (i.e., Efeitos Colaterais Negativos, Hackeamento de Recompensa, Interrupção Segura), ou quando o domínio de treinamento é diferente do domínio de implantação (i.e., Exploração Segura e Mudança de Domínio). Ao mesmo tempo, especificar objetivos complexos (e.g., preferências e valores humanos) é uma tarefa extremamente complexa, e quando visamos a possibilidade de inteligência artificial avançada agindo no mundo real, é imperativo que tais sistemas estejam: (1) alinhados com nossos objetivos; e (2) desenvolvidos com um design que evite os problemas citados acima. Contudo, tais problemas permanecem em aberto. Por fim, gostaria de ressaltar que no cerne desta problemática, não temos apenas problemas técnicos de aprendizagem de máquina, mas uma importante questão de cunho “Moral”: “O que é a coisa ‘certa” a fazer”? “Qual o objetivo correto a ser perseguido”? “Como podemos especificar isso”? Perguntas como essas prometem um fértil campo para pesquisas interdisciplinares envolvendo inteligência artificial, aprendizagem de máquina, ciências da computação e filosofia moral. (shrink)

Unified Modeling Language (UML) of Object Management Group, along with Object Constraint Language (OCL), are considered as the best fit for blockchain ontology. OCL is a declarative language that describes the rules applicable to UML models and is part of the UML standard. Initially, OCL was just an extension of the formal specification language for UML. Now, OCL can be used with any meta-model. Enterprise ontology is combined with the business ontology of Resources, Events, Agents (REA) to be used for (...) the content of the change. REA was originally proposed in 1982 by William E. McCarthy as generalized accounting model. DOI: 10.13140/RG.2.2.14744.14083. (shrink)

McCarthy et al.’s proposal gains much of its plausibility by relying on a superficial treatment of justice, human dignity, sin, and the common good within the Christian tradition. Upon closer inspection of what these terms mean within the context of Christianity, it becomes clear that despite using the same phrases (e.g., a commitment to “protecting vulnerable populations,” the goal of “promoting justice,” etc.) contemporary secular bioethical goals are often deeply at odds with goals of Christian bioethics. So, while the (...) authors are right that there is room for dialogue (and even agreement) concerning general moral principles, the process of specification and application of these principles will often be heavily influenced by competing ethical traditions. Such divergent influences will often frustrate cooperative ventures between secular and religious bioethical projects. Thus, when put into action, McCarthy et al.’s proposal will—at best—produce a divided kingdom; one that cannot hope to stand. (shrink)

As a senior physicist colleague and our friend, Robert N. Boyd, wrote in a journal (JCFA, Vol. 1,. 2, 2022), Our universe is but one page in a large book [4]. For example, things and Beings can travel between Universes, intentionally or unintentionally. In this short remark, we revisit and offer short remark to Neil’s ideas and trying to connect them with geometrization of musical chords as presented by D. Tymoczko and others, then to Escher staircase and then to Jacob’s (...) ladder which seems to point to possibility to interpret Jacob’s vision as described in the ancient book of Genesis as inter dimensional or heavenly staircase, e.g. an inter dimensional bridge between heaven and earth (see also classic book: Hofstadter, Godel, Escher, Bach). Jacob’s vision of angels going down to earth from that staircase has been depicted for instance in William Blake art etc. In our communication with others via physics literature and discussions etc, we came to several conclusions as follows: Firstly, possibility of quantum wormhole effect to mirror particle universe, which sometimes it is termed non-orientable wormhole. While such mirror particles effect have been more than 50 years predicted with the so-called parity violation (cf. Lee & Yang, 1950s), and that is called symmetry breaking. Secondly, a series of extended experiments on laser irradiated cold water may suggest possible transition from a phase of water to be at least partially fourth phase of water, which may be composed of crystalline water (see e.g. Gerald Pollack, and also Harold Aspden on liquid crystalline). If we can imagine laser cooling effect can be done in protracted time, then we can achieve a physical representation of Aspden’s liquid crystalline. Therefore, in subsequent article (Part II) we outlined simple model of such an effect of tunneling via quantum liquid crystalline Universe, which may likely be modeled with iced-water. It is interesting to remark here that certain experiments by Stockholm University scientists have shown that X-ray triggered water can exhibit properties just like liquid crystal (cf. PRL, 2020). That is why we consider it possible that there can be quantum phase transition where liquid water (comprised of iced cubes and water) can exhibit effects such as tunneling in quantum liquid crystalline Universe. Last but not least, we admit that what we outlined here is just an initial phase; and if you wish, perhaps we can call such experiments as “wormhole-at-lab” experiments (abbreviated: WHALE). (shrink)

The present article was partly inspired by G. Pollack’s book, and also Dadoloff, Saxena & Jensen (2010). As a senior physicist colleague and our friend, Robert N. Boyd, wrote in a journal (JCFA, Vol. 1, No. 2, 2022), for example, things and Beings can travel between Universes, intentionally or unintentionally [4]. In this short remark, we revisit and offer short remark to Neil Boyd’s ideas and trying to connect them with geometry of musical chords as presented by D. Tymoczko and (...) others, then to Escherian staircase and then to Jacob’s ladder which seems to pointto possibility to interpret Jacob’s vision as described in the ancient book of Genesis as interdimensional staircase, e.g. an interdimensional bridge between heaven and earth (cf. classic book: Hofstadter, Godel, Escher, Bach). Jacob’s vision of angels going down to earth from that staircase has been depicted for instance in William Blake art etc. In our communication with others via physics literature and discussions etc, we came to several conclusions as follows: Firstly, possibility of wormhole effect to mirror particle universe, which sometimes it is termed non-orientable wormhole. While such mirror particles effect have been more than 50 years predicted with the so-called parity violation (cf. Lee & Yang, 1950s), and that is called symmetry breaking. Secondly, a series of extended experiments on laser irradiated cold water may suggest possible transition from a phase of water to be at least partially fourth phase of water, which may be composed of crystalline water (see e.g. Gerald Pollack, and also Harold Aspden on liquid crystalline). If we can imagine laser cooling effect can be done in protracted time, then we can achieve a physical representation of Aspden‘s liquid crystalline. Therefore, in this article we outline a series of simple experiments of laser irradiated iced-water along with beryl and selenite crystals in order to see possibility of such a quantum tunneling via quantum liquid crystalline Universe hypothesis, which may likely be modeled with iced-water. It is interesting to remark here that certain experiments by Stockholm University scientists have shown that X-ray triggered water can exhibit properties just like liquid crystal (cf. PRL, 2020). That is why we consider it possible that there can be quantum phase transition where liquid water (comprised of iced cubes and water) can exhibit effects such as tunneling in quantum liquid crystalline Universe. Last but not least, we admit that what we outlined here is just aninitial phase; and if you wish, perhaps we can call such experiments as “wormhole-at-lab” experiments (abbreviated: WHALE). (shrink)

The book covers scientific and philosophical topics by bringing them closer to literature. Some topics are scientific explanation, the concept of cause, rational argumentation, pseudoscience, language, ethics, philosophy of mind, posthumanism, and democracy. Summary Prefazione di Severino Saccardi. Introduzione. Capitolo 1: Le scrivanie di Eddington. 1.1. Il vecchio Qfwfq (I. Calvino. Le cosmicomiche). 1.2. L’assassino invisibile (L.F. Celine, Il dottor Semmelweis). 1.3. Gli gnommeri di Ingravallo (C.E. Gadda, Quer pasticciaccio brutto de via Merulana). 1.4. I sergenti di Napoleone (L. Tolstoj, (...) Guerra e pace). 1.5. Tex e il Coyote nero (G. Bonelli, Il Coyote nero). 1.6. “Elementare Watson!” (A.C. Doyle, Il segno dei quattro). Capitolo 2. Non saranno mai delusi. 2.1. L’albero di Natale. (V. Perrin, Cambiare l’acqua ai fiori). 2.2. Il dagherrotipo di Buendia. (G.G. Marquez, Cent’anni di solitudine). 2.3. Don Ferrante e la peste. (A. Manzoni, I promessi sposi). Capitolo 3. Capitolo puffo. 3.1. L’Accademia di Lagado. (J. Swift, I viaggi di Gulliver). 3.2. Bruto è uomo d’onore. (W. Shakespeare, Giulio Cesare). 3.3. Le oche mute. (G. Orwell, 1984). Capitolo 4. “Quarantadue!” 4.1. Lo zio N’Ba N’Ga. (I. Calvino, Le cosmicomiche). 4.2. La mosca cocchiera. (J. de La Fontaine, Favole). 4.3. Il fiore del dr. Dek. (E. Salgari, Le meraviglie del Duemila). Capitolo 5. L’ultimo uomo. 5.1. La pernice accusatrice. (Cyrano de Bergerac, Gli stati e gli imperi del Sole). 5.2. Pallino in via Mjasnickaja. (M.A. Bulgakov, Cuore di cane). Capitolo 6. Scenari perturbanti. 6.1. Dissipatio. (G. Morselli, Dissipatio H.G.). 6.2. Un mammifero meccanizzato. (S. Butler, Erewhon). 6.3. Mlle Olimpia. (E.T.A. Hoffmann, Racconti notturni). Capitolo 7. La gente perbene. 7.1. La balena bianca. (H. Melville, Moby Dick). 7.2. Betsabea Everdeene. (T. Hardy, Via dalla pazza folla). 7.3. Un’idea francese. (C. McCarthy, Cavalli selvaggi). 7.4. Le montagne del Montana. (D. Delillo, Rumore bianco). (shrink)

The argument for vegetarianism from overlapping species goes like this. Every individual who is the subject of a life has a right to life. Some humans—e.g., the severely congenitally cognitively limited—lack language, rationality, autonomy, and self-consciousness, and yet they are subjects of a life. Severely congenitally cognitively limited humans have a right to life. Some animals—e.g., all mammals—lack language, rationality, autonomy, and self-consciousness, and yet they are subjects of a life. We ought to treat like cases alike. The cases of (...) some humans are like the cases of some animals. Therefore, some animals have a right to life. -/- The argument seems not to have moved many people to change their diets. The reason, I suggest, is not because the argument is unsound but because our ability to change our dietary practices is difficult and we lack the imaginative resources to see the world from a nonhuman perspective. -/- I suggest that creative artists are of great value here, and I provide an example by referring to the work of the American novelist, Cormac McCarthy. (shrink)

Aesthetic internalism claims a link between judgement and motivation: aesthetic judgements bring with them motivations to act in characteristic ways. Critics object that there is a difference between merely liking something and judging it to be aesthetically good, and that it is our likings, not our aesthetic judgements, that motivate us. This paper develops a version of aesthetic internalism that can respond to this criticism. Wholehearted aesthetic judgements are characterized by stability, attention, and motivation. Making such judgements is an important (...) part of a good life, and so at least some aesthetic judgements are motivating. So we have reason to think that this version of aesthetic internalism is true. This paper defends wholehearted aesthetic internalism against objections, and assesses an argument from aesthetic internalism to aesthetic non-cognitivism. While wholehearted aesthetic internalism can only offer qualified support to non-cognitivism, it nonetheless offers a number of fruitful avenues for further work. (shrink)

Recently, bioethicists and the UNCRPD have advocated for supported medical decision-making on behalf of patients with intellectual disabilities. But what does supported decision-making really entail? One compelling framework is Anita Silvers and Leslie Francis’ mental prosthesis account, which envisions supported decision-making as a process in which trustees act as mere appendages for the patient’s will; the trustee provides the cognitive tools the patient requires to realize her conception of her own good. We argue that supported decision-making would be better understood (...) as a collaborative process, giving patients with intellectual disabilities the opportunity to make decisions in a respectful relationship with trusted others. We offer an alternative account of supported decision-making where the primary constraint is to protect the patient from domination by the trustee. This is advantageous in its preservation of the prospects for genuine collaboration, for the mental prosthesis approach ultimately reinforces a problematic ideal of isolated patient self-determination. (shrink)

We give two social aggregation theorems under conditions of risk, one for constant population cases, the other an extension to variable populations. Intra and interpersonal welfare comparisons are encoded in a single ‘individual preorder’. The theorems give axioms that uniquely determine a social preorder in terms of this individual preorder. The social preorders described by these theorems have features that may be considered characteristic of Harsanyi-style utilitarianism, such as indifference to ex ante and ex post equality. However, the theorems are (...) also consistent with the rejection of all of the expected utility axioms, completeness, continuity, and independence, at both the individual and social levels. In that sense, expected utility is inessential to Harsanyi-style utilitarianism. In fact, the variable population theorem imposes only a mild constraint on the individual preorder, while the constant population theorem imposes no constraint at all. We then derive further results under the assumption of our basic axioms. First, the individual preorder satisfies the main expected utility axiom of strong independence if and only if the social preorder has a vector-valued expected total utility representation, covering Harsanyi’s utilitarian theorem as a special case. Second, stronger utilitarian-friendly assumptions, like Pareto or strong separability, are essentially equivalent to strong independence. Third, if the individual preorder satisfies a ‘local expected utility’ condition popular in non-expected utility theory, then the social preorder has a ‘local expected total utility’ representation. Fourth, a wide range of non-expected utility theories nevertheless lead to social preorders of outcomes that have been seen as canonically egalitarian, such as rank-dependent social preorders. Although our aggregation theorems are stated under conditions of risk, they are valid in more general frameworks for representing uncertainty or ambiguity. (shrink)

What responsibilities do audiences have in engaging with artworks? Certain audience responses seem quite clear: for example, audiences should not vandalize or destroy artworks; they should not disrupt performances. This paper examines other kinds of resisting responses that audiences sometimes engage in, including petitioning the artist to change their works, altering copies of artworks, and creating new artworks in another artist’s fictional world. I argue for five claims: (1) while these actions can sometimes infringe on the rights of artists, the (...) rights of artists are not absolute; (2) the fact that such actions are based on mistaken interpretations of the artworks has no normative weight; (3) there can be reason to object to additions and alterations whose conception of the artwork is morally worse than the original (and so, there can be reason to support additions and alterations whose conception is morally better); (4) petitioning raises special moral problems; and, most important, (5) some of these actions are valuable because they involve creative and aesthetic activity. Those acts of audience resistance that are creative, morally improve on the original work, and that minimize the infringement of the artists’ rights are good, and should be encouraged. (shrink)

We provide conditions under which an incomplete strongly independent preorder on a convex set X can be represented by a set of mixture preserving real-valued functions. We allow X to be infi nite dimensional. The main continuity condition we focus on is mixture continuity. This is sufficient for such a representation provided X has countable dimension or satisfi es a condition that we call Polarization.

This paperback edition contains a new greatly expanded bibliography of Habermas's work.

In this volume, leading philosophers of psychiatry examine psychiatric classification systems, including the Diagnostic and Statistical Manual of Mental Disorders, asking whether current systems are sufficient for effective diagnosis, treatment, and research. Doing so, they take up the question of whether mental disorders are natural kinds, grounded in something in the outside world. Psychiatric categories based on natural kinds should group phenomena in such a way that they are subject to the same type of causal explanations and respond similarly to (...) the same type of causal interventions. When these categories do not evince such groupings, there is reason to revise existing classifications. The contributors all question current psychiatric classifications systems and the assumptions on which they are based. They differ, however, as to why and to what extent the categories are inadequate and how to address the problem. Topics discussed include taxometric methods for identifying natural kinds, the error and bias inherent in DSM categories, and the complexities involved in classifying such specific mental disorders as "oppositional defiance disorder" and pathological gambling. -/- Contributors George Graham, Nick Haslam, Allan Horwitz, Harold Kincaid, Dominic Murphy, Jeffrey Poland, Nancy Nyquist Potter, Don Ross, Dan Stein, Jacqueline Sullivan, Serife Tekin, Peter Zachar. (shrink)

A strongly independent preorder on a possibly in finite dimensional convex set that satisfi es two of the following conditions must satisfy the third: (i) the Archimedean continuity condition; (ii) mixture continuity; and (iii) comparability under the preorder is an equivalence relation. In addition, if the preorder is nontrivial (has nonempty asymmetric part) and satisfi es two of the following conditions, it must satisfy the third: (i') a modest strengthening of the Archimedean condition; (ii') mixture continuity; and (iii') completeness. Applications (...) to decision making under conditions of risk and uncertainty are provided. (shrink)

According to the priority view, or prioritarianism, it matters more to benefit people the worse off they are. But how exactly should the priority view be defined? This article argues for a highly general characterization which essentially involves risk, but makes no use of evaluative measurements or the expected utility axioms. A representation theorem is provided, and when further assumptions are added, common accounts of the priority view are recovered. A defense of the key idea behind the priority view, the (...) priority principle, is provided. But it is argued that the priority view fails on both ethical and conceptual grounds. (shrink)

We present an abstract social aggregation theorem. Society, and each individual, has a preorder that may be interpreted as expressing values or beliefs. The preorders are allowed to violate both completeness and continuity, and the population is allowed to be infinite. The preorders are only assumed to be represented by functions with values in partially ordered vector spaces, and whose product has convex range. This includes all preorders that satisfy strong independence. Any Pareto indifferent social preorder is then shown to (...) be represented by a linear transformation of the representations of the individual preorders. Further Pareto conditions on the social preorder correspond to positivity conditions on the transformation. When all the Pareto conditions hold and the population is finite, the social preorder is represented by a sum of individual preorder representations. We provide two applications. The first yields an extremely general version of Harsanyi's social aggregation theorem. The second generalizes a classic result about linear opinion pooling. (shrink)

This paper considers two reasons that might support Russell’s choice of a ramified-type theory over a simple-type theory. The first reason is the existence of purported paradoxes that can be formulated in any simple-type language, including an argument that Russell considered in 1903. These arguments depend on certain converse-compositional principles. When we take account of Russell’s doctrine that a propositional function is not a constituent of its values, these principles turn out to be too implausible to make these arguments troubling. (...) The second reason is conditional on a substitutional interpretation of quantification over types other than that of individuals. This reason stands up to investigation: a simple-type language will not sustain such an interpretation, but a ramified-type language will. And there is evidence that Russell was tacitly inclined towards such an interpretation. A strong construal of that interpretation opens a way to make sense of Russell’s simultaneous repudiation of propositions and his willingness to quantify over them. But that way runs into trouble with Russell’s commitment to the finitude of human understanding. (shrink)

This article tackles the sole surviving ancient commentary on what was perhaps the second most important Platonic work, with special interest for the manner in which the ancients tackled the setting of Plato's dialogues, Socratic ignorance, Socratic eros, the central myth-like Palinode, and the question of oral as against written teaching.

One of the leading cognitive models of auditory verbal hallucinations (AVHs) proposes such experiences result from a disturbance in the process by which inner speech is attributed to the self. Research in this area has, however, proceeded in the absence of thorough cognitive and phenomenological investigations of the nature of inner speech, against which AVHs are implicitly or explicitly defined. In this paper we begin by introducing philosophical phenomenology and highlighting its relevance to AVHs, before briefly examining the evolving literature (...) on the relation between inner experiences and AVHs. We then argue for the need for philosophical phenomenology (Phenomenology) and the traditional empirical methods of psychology for studying inner experience (phenomenology) to mutually inform each other to provide a richer and more nuanced picture of both inner experience and AVHs than either could on its own. A critical examination is undertaken of the leading model of AVHs derived from phenomenological philosophy, the ipseity disturbance model. From this we suggest issues that future work in this vein will need to consider, and examine how interdisciplinary methodologies may contribute to advances in our understanding of AVHs. Detailed suggestions are made for the direction and methodology of future work into AVHs, which we suggest should be undertaken in a context where phenomenology and physiology are both necessary, but neither sufficient. (shrink)

In the 1960s, before the promulgation of Humanae Vitae, the Catholic philosophers Elizabeth Anscombe and Herbert McCabe OP debated whether there are convincing natural law arguments for the claim that contraception violates an exceptionless moral norm. This article revisits those arguments and critiques McCabe’s approach to natural law, concerned primarily with ‘social sin’ and not simply violations of ‘right reason,’ as one particularly ill-suited to addressing questions in sexual ethics and unable both to distinguish properly between certain forms of sexual (...) wrongdoing and more obviously social sins such as theft, and also to distinguish between ‘natural’ and ‘unnatural’ sexual acts. Anscombe’s views, I argue, are closer to those of Thomas Aquinas and provide reasons for making the distinctions McCabe does not. An argument concerning the nature of the institution of marriage and the effects of non-marital acts on that institution is proposed as a way of strengthening Anscombe’s argument that contraception violates an exceptionless moral norm. (shrink)

Contrary to economics or history, for example, there does not exist an organized field dedicated to the philosophy of political science. Given that the philosophical issues raised by political science research are just as pressing and vibrant as those raised in these more organized fields, fostering a field that labels itself Philosophy of Political Science (PoPS) is important. PoPS is advanced here as a fruitful meeting place where both philosophers and practicing political scientists contribute and discuss—with philosophical discussions that are (...) close to and informed by actual developments in political science, making philosophy of science continuous with the sciences in line with contemporary naturalist philosophy of science. The topics scrutinized in the different chapters of the Handbook will figure prominently in PoPS, as we lay out in this chapter. (shrink)

The article is a plea for ethicists to regard probability as one of their most important concerns. It outlines a series of topics of central importance in ethical theory in which probability is implicated, often in a surprisingly deep way, and lists a number of open problems. Topics covered include: interpretations of probability in ethical contexts; the evaluative and normative significance of risk or uncertainty; uses and abuses of expected utility theory; veils of ignorance; Harsanyi’s aggregation theorem; population size problems; (...) equality; fairness; giving priority to the worse off; continuity; incommensurability; nonexpected utility theory; evaluative measurement; aggregation; causal and evidential decision theory; act consequentialism; rule consequentialism; and deontology. (shrink)

I prove that the Boolean Prime Ideal Theorem is equivalent, under some weak set-theoretic assumptions, to what I will call the Cut-for-Formulas to Cut-for-Sets Theorem: for a set F and a binary relation |- on Power(F), if |- is finitary, monotonic, and satisfies cut for formulas, then it also satisfies cut for sets. I deduce the CF/CS Theorem from the Ultrafilter Theorem twice; each proof uses a different order-theoretic variant of the Tukey- Teichmüller Lemma. I then discuss relationships between various (...) cut-conditions in the absence of finitariness or of monotonicity. (shrink)

This paper has three aims: to define autonomism clearly and charitably, to offer a positive argument in its favour, and to defend a larger view about what is at stake in the debate between autonomism and its critics. Autonomism is here understood as the claim that a valuer does not make an error in failing to bring her moral and aesthetic judgements together, unless she herself values doing so. The paper goes on to argue that reason does not require the (...) valuer to make coherent her aesthetic and moral evaluations. Finally, the paper shows that the denial of autonomism has realist commitments that autonomism does not have, and concludes that issues of value realism and irrealism are relevant to the debates about autonomism in ways that have not hitherto been recognized. (shrink)

Part 1 [Hodes, 2021] “looked under the hood” of the familiar versions of the classical propositional modal logic K and its intuitionistic counterpart. This paper continues that project, addressing some familiar classical strengthenings of K and GL), and their intuitionistic counterparts. Section 9 associates two intuitionistic one-step proof-theoretic systems to each of the just mentioned intuitionistic logics, this by adding for each a new rule to those which generated IK in Part 1. For the systems associated with the intuitionistic counterparts (...) of D and T, these rules are “pure one-step”: their schematic formulations does not use □ or ♢. For the systems associated with the intuitionistic counterparts of K4, etc., these rules meet these conditions: neither □ nor ♢ is iterated; none use both □ and ♢. The join of the two systems associated with each of these familiar logics is the full one-step system for that intuitionistic logic. And further “blended” intuitionistic systems arise from joining these systems in various ways. Adding the 0-version of Excluded Middle to their intuitionistic counterparts yields the one-step systems corresponding to the familiar classical logics. Each proof-theoretic system defines a consequence relation in the obvious way. Section 10 examines inclusions between these consequence relations. Section 11 associates each of the above consequence relations with an appropriate class of models, and proves them sound with respect to their appropriate class. This allows proofs of some failures of inclusion between consequence relations. Section 12 proves that the each consequence relation is complete or weakly complete, that relative to its appropriate class of models. The Appendix presents three further results about some of the intuitionistic consequence relations discussed in the body of the paper. For Keywords, see Part 1. (shrink)

Divers presents a set of de re modal truths which, he claims, are inconvenient for Lewisean modal realism. We argue that there is no inconvenience for Lewis.

Relative to any reasonable frame, satisfiability of modal quantificational formulae in which “= ” is the sole predicate is undecidable; but if we restrict attention to satisfiability in structures with the expanding domain property, satisfiability relative to the familiar frames (K, K4, T, S4, B, S5) is decidable. Furthermore, relative to any reasonable frame, satisfiability for modal quantificational formulae with a single monadic predicate is undecidable ; this improves the result of Kripke concerning formulae with two monadic predicates.

© British Society of Aesthetics 2018. Published by Oxford University Press on behalf of the British Society of Aesthetics. All rights reserved. For Permissions, please email: [email protected] adaptation of literary works into films has been almost completely neglected as a philosophical topic. I discuss two questions about this phenomenon:What do we mean when we say that a film is faithful to its source?Is being faithful to its source a merit in a film adaptation?In response to, I set out two distinct (...) senses of fidelity: story fidelity and thematic fidelity. I then argue, in response to, that thematic fidelity, but not story fidelity, is an aesthetic merit in a film adaptation. The key steps in this argument involve showing that merely preserving the story from one medium to another does not typically involve an aesthetically... (shrink)

Discourse carries thin commitment to objects of a certain sort iff it says or implies that there are such objects. It carries a thick commitment to such objects iff an account of what determines truth-values for its sentences say or implies that there are such objects. This paper presents two model-theoretic semantics for mathematical discourse, one reflecting thick commitment to mathematical objects, the other reflecting only a thin commitment to them. According to the latter view, for example, the semantic role (...) of number-words is not designation but rather the encoding of cardinality-quantifiers. I also present some reasons for preferring this view. (shrink)

Ancient Chinese and Greek thinkers alike were preoccupied with the moral value of music; they distinguished between good and bad music by looking at the music’s effect on moral character. The idea can be understood in terms of two closely related questions. Does music have the power to affect the ethical character of either listener or performer? If it does, is it better as music for doing so? I argue that an affirmative answers to both questions are more plausible than (...) it might seem at first. (shrink)

Immoralists hold that in at least some cases, moral fl aws in artworks can increase their aesthetic value. They deny what I call the valence constraint: the view that any effect that an artwork’s moral value has on its aesthetic merit must have the same valence. The immoralist offers three arguments against the valence constraint. In this paper I argue that these arguments fail, and that this failure reveals something deep and interesting about the relationship between cognitive and moral value. (...) In the fi nal section I offer a positive argument for the valence constraint. (shrink)

Christopher Columbus Langdell has not only damaged the study of law with his three follies: his legal formalism, his redacted appellate case method, and his notion that legal practice taints the professor of law. His three follies have also impaired character development critical for legal actors. This Article focuses on four such critical character traits and virtues impaired by Langdell: (i) imagination, (ii) empathy, (ii) balance, and (iv) integrity. -/- This Article also calls out potential character issues with two professor (...) types inspired by Langdell: (v) the hazing professor who confuses intellectual rigor with intense discomfort and who uses the redacted appellate case method to inflict such discomfort at the expense of better pedagogy, and (vi) the professor without substantial practice experience who is substantially paid to teach what she has never practiced. -/- Agreeing with C.S. Pierce that the best argument is a cable rather than a chain, I end by weaving in a Langdell villanelle. I hope such a cable can help lift Langdell and his follies from legal education and the world. (shrink)

Even if one sees the law as “a self-contained system of legal reasoning” from which we deduce “neutral,” non-political conclusions from “general principles and analogies among cases and doctrines” (including formalist claims that judges simply call “balls and strikes” like umpires in a baseball game), one should still consider certain characteristics of the party making such deductions or calling such “balls and strikes.” [Relevant citations to quoted language are in the Article.] If such decision maker has questionable motivations, lacks proper (...) perspective, does not grasp the flexibility in the concepts in play, does not grasp the restraints on concepts in play, does not follow the proper processes involved, and lacks the detail, courage, and tenacity needed to reach the proper “deduction” or “call,” on the face of things the formalist, too, should have reason to re-examine any “deduction” or “call” by such party. Thus, even the formalist should not deny the critical role of virtue when examining legal analysis, a role belying the notion of law as a "self-contained system of legal reasoning." -/- This Article thus explores basic freedoms and restraints applicable to legal analysis and the role that virtue plays in balancing such freedoms and restraints. Such exploration covers: (i) the origin, nature, and purpose of concepts and categories used in legal analysis; (ii) the experiential nature of the meaning of such concepts and categories used in legal analysis; (iii) the freedoms and restraints applicable to such concepts and categories as a result of either experience or of the concepts or categories themselves; (iv) how workable notions of virtue rightly balance such freedoms and restraints in legal analysis; (v) the distinction between such virtue and skill; (vi) reconceiving the analytically virtuous mean as a proper balance between such applicable freedoms and restraints; and (vii) defining and surveying the particular virtues that lead us to such proper balance and thus to good legal analysis. My hope is that lawyers and law schools in their curricula will follow such explorations as well in a quest to better understand legal analysis and how to teach and perform it well. (shrink)

Logicism is, roughly speaking, the doctrine that mathematics is fancy logic. So getting clear about the nature of logic is a necessary step in an assessment of logicism. Logic is the study of logical concepts, how they are expressed in languages, their semantic values, and the relationships between these things and the rest of our concepts, linguistic expressions, and their semantic values. A logical concept is what can be expressed by a logical constant in a language. So the question “What (...) is logic?” drives us to the question “What is a logical constant?” Though what follows contains some argument, limitations of space constrain me in large part to express my Credo on this topic with the broad brush of bold assertion and some promissory gestures. (shrink)